TSTP Solution File: ITP169^1 by Nitpick---2016